body {
    margin: 0;
    padding: 0;
    background-color: #6d4c0b;
}

td.left, td.right {
    width: 50%;
}

td.left {
    background-image: linear-gradient(left, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -moz-linear-gradient(left, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -o-linear-gradient(left, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -webkit-linear-gradient(left, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -ms-linear-gradient(left, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
}
td.right {
    background-image: linear-gradient(right, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -moz-linear-gradient(right, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -o-linear-gradient(right, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -webkit-linear-gradient(right, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
    background-image: -ms-linear-gradient(right, rgb(0, 0, 0) 0%, rgb(109, 76, 11) 99%, rgb(151, 220, 231) 100%);
}

td.center {
    width: 800px;
    background-color: #97dce7;
    padding-left: 10px;
    padding-right: 10px;
}

td.right {
}


h3, h4 {
    margin-bottom: 2px;
}

h4 {
    margin-left: 0.75em;
}

pre, p {
    margin-top: 0;
    margin-bottom: 0.5em;
    margin-left: 1.5em;
}

pre {
    margin-left: 3em;
}

ul {
    margin-top: 0;
}

img.img1 {
    width: 200px;
    float: right;
}

span.logo {
    background-image: linear-gradient(top,         rgb(151, 220, 231) 0%, rgb(135, 200, 210) 90%, rgb(151, 220, 231) 100%);
    background-image: -moz-linear-gradient(top,    rgb(151, 220, 231) 0%, rgb(135, 200, 210) 90%, rgb(151, 220, 231) 100%);
    background-image: -o-linear-gradient(top,      rgb(151, 220, 231) 0%, rgb(135, 200, 210) 90%, rgb(151, 220, 231) 100%);
    background-image: -webkit-linear-gradient(top, rgb(151, 220, 231) 0%, rgb(135, 200, 210) 90%, rgb(151, 220, 231) 100%);
    background-image: -ms-linear-gradient(top,     rgb(151, 220, 231) 0%, rgb(135, 200, 210) 90%, rgb(151, 220, 231) 100%);
}

div.navigation {
    z-index: 1;
    position: fixed;
    top: 50px;
    right: 50px;
    margin: 0;
    padding: 4px;
    background-color: #a7dcff;
}
